TSTP Solution File: GEO434^1 by SInE---0.4